1. Digital networks
پدیدآورنده : / Janusz A. Brzozowski, Michael Yoeli
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Digital electronics
رده :
621
.
38153
Br-D
2. Verification of systems and circuits using LOTOS, Petri Nets, and CCS
پدیدآورنده : Yoeli, Michael
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : Verification ، Integrated circuits,Verification ، Computer software,، LOTOS )Computer program language(,، Petri nets
رده :
TK
7874
.
58
.
Y64
2008
3. Verification of systems and circuits using LOTOS, Petri Nets, and CCS
پدیدآورنده : / by Michael Yoeli and Rakefet Kol
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Integrated circuits- Verification,Computer software- Verification,LOTOS (Computer program language),Petri nets
رده :
TK7874
.
58
.
Y64
2008
